Logical Omniscience and Resourse-Bounded Agents
نویسنده
چکیده
This essay provides a cohesive overview of the work I have undertaken during my first year as a research student at the University of Nottingham, funded jointly by the School of Computer Science & IT and the Department of Philosophy. Current research, including the compilation of this essay, is funded by the Arts and Humanities Research Board (AHRB). The essay is organised as follows. The first three sections are taken from [Whi03], which provides an overview of my area of research. The following sections are derived from [NAWb] and [NAWa]. Both sections differ from the original papers to reflect only those aspects that are my own work. The final section draws the conclusions which I feel this work establishes and details my intentions for research over the next two years Chapter 1
منابع مشابه
Knowledge, Logical Omniscience, and Resource-bounded Reasoning
Agent theories typically use modal epistemic logic for modeling knowledge of agents. Since the modal approach to epistemic logic cannot formalize resource-bounded reasoning adequately, it it not suited to describe realistic, implementable agents. We develop a framework for solving that problem. We introduce the notion of algorithmic knowledge — a concept that establishes a direct link between a...
متن کاملLogics for resource-bounded agents
In this thesis, I criticise traditional epistemic logics based on possible worlds semantics, inspired by Hintikka, as a framework for representing the beliefs and knowledge of agents. The traditional approach suffers from the logical omniscience problem: agents are modelled as knowing all consequences of their knowledge, which is not an admissible assumption when modelling real-world reasoning ...
متن کاملRule-based and Resource-bounded: A New Look at Epistemic Logic
Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.
متن کاملDecision Theory without Logical Omniscience: Toward an Axiomatic Framework for Bounded Rationality
I propose modeling boundedly rational agents as agents who are not logically omniscient — that is, who do not know all logical or mathematical implications of what they know. I show how a subjective state space can be derived as part of a subjective expected utility representation of the agent’s preferences. The representation exists under very weak conditions. The representation uses the famil...
متن کاملRepresenting Knowledge of Resource-bounded Agents
We suggest a novel way for formalizing knowledge and belief of intelligent agent and argue that this is the notion we need to formalize agents in Distributed Artificial Intelligence. We introduce the notion of algorithmic knowledge — a concept that is suited for establishing a direct link between and agent’s available resources and his knowledge. We show that our concept of knowledge is useful ...
متن کامل